Revisiting occurrence typing

typing dynamic typing

Evaluating and revisiting the public government: a policy feedback perspective

Existing models of quality evaluation in public sector are mainly derived from the approaches within private sector. These models which represented by the New Public Management (NPM) paradigm, don&rsquot reflect the fundamental values of public administration, which are the very essence of the discipline and contrasting it from private sector. These core values, such as democratic citizenship, ...

revisiting the measures of cultural capital

this article has tried to investigate the concept of cultural capital. hence, the question is that how the concept of cultural capital in internal and external researches has been measured? and what proportion of different variables has reported with cultural capital concept? in this paper relying on internal and external researches, first, the concept of cultural capital and its dimensions hav...

Typing Coroutines

A coroutine is a programming construct between function and thread. It can be invoked like a function, but before it returns a value (if ever) it may suspend itself arbitrarily often to return intermediate results and then be resumed with new inputs. Unlike with preemptive threading, a coroutine does not run concurrently with the rest of the program, but rather takes control until it voluntaril...

Typing Confluence

We investigate con uence properties for concurrent systems of message-passing processes, because such properties have proved to be useful for a variety of applications, ranging from reasoning about concurrent objects to mobile and high-speed telecommunication protocols. Roughly, con uence means that for every two computations starting from a common system state, it is possible to continue the c...